Logical syntax

#	Item
621	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-10-29 09:10:25 Metalogic Propositional calculus Mathematical logic Entailment Natural deduction Symbol Function Well-formed formula Logic Deduction Logical syntax
622	PDF Document Add to Reading List Source URL: dl.dropbox.com Language: English Proof theory Deduction Philosophical logic Formal systems Function Theorem Deductive reasoning Mathematical proof Formal proof Logic Mathematics Logical syntax
623	Untitled Add to Reading List Source URL: aima.cs.berkeley.edu Language: English - Date: 2002-11-14 09:04:11 Propositional calculus Logical syntax Semantics Resolution Inference Horn clause Unit propagation DPLL algorithm Interpretation Logic Automated theorem proving Mathematical logic